forward chaining - German English Dictionary